101. AI*IA 2018 :advances in artificial intelligence: advances in artificial intelligence: XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20-23, 2018, proceedings
پدیدآورنده: / edited by Chiara Ghidini... [et al.].
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Artificial intelligence -- Congresses.,Artificial intelligence.,Artificial intelligence.
102. ANALYSIS AND SYNTHESIS OF COMPUTER SYSTEMS (2ND EDITION)
پدیدآورنده: / GELENBE EROL ET AL
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ELECTRONIC& METHODS|ENGINEERING, ELECTRICAL &COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
103. ARCS 2010-Architecture of Computing Systems
پدیدآورنده: / Schloer, Wolfgang Karl, Sami Yehia-llerیChristian M
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
104. ARCS 2011-Architecture of Computing Systems
پدیدآورنده: / Mladen Berekovic, William Fornaciari, Uwe Brinkschulte, Cristina Silvano
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
105. ARCS 2014تArchitecture of Computing Systems
پدیدآورنده: / mer, Wolfgang Karl, Eduardo TovarنErik Maehle, Kay R
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
106. ARCS 2015تArchitecture of Computing Systems
پدیدآورنده: / s Miguel Pinho Pinho, Wolfgang Karl, Albert Cohen, Uwe BrinkschulteکLu
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
107. ARCS 2013تArchitecture of Computing Systems
پدیدآورنده: / , Christian Hochberger, Martin Dank, Bernhard SickعtovعHana Kub
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
108. ARM-based microcontroller projects using MBED /
پدیدآورنده: Dogan Ibrahim.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Embedded computer systems-- Programming.,Microcontrollers.,Programmable controllers.,Embedded computer systems-- Programming.,Microcontrollers.,Programmable controllers.,TECHNOLOGY & ENGINEERING / Engineering (General)
رده :
TJ223
.
P76
109. ASE 2000
پدیدآورنده: IEEE International Automated Software Engineering Conference (15th: 2000: Grenoble, France)
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Software engineering- Congresses►Expert systems (Computer science)- Congresses
رده :
76
.
758
.
I32
110. ASE 2000: 15e Conference International IEEE sur l'Automatisation du Genie Logiciel 11-15 September 2000, Grenoble, France = The Fifteenth IEEE Intenational Conference on Automated Software Engineering: Greoble, France, 11-15 September, 2000
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Software engineering,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
758
.
I32
2000
111. ASE 2000 : 15e conference internationale IEEE sur l automatisation du genie logiciel: 11-15 September 2000, Grenoble, France
پدیدآورنده: Sponsored by: Universite Joseph Fourier ... ]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Expert systems )Computer science(,Congresses ، Software engineering
رده :
QA
76
.
758
.
I32
2000
112. ASIC System Design with VHDL: A Paradigm
پدیدآورنده: by Steven S. Leung, Michael A. Shanblatt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer engineering.,Computer hardware.,Engineering.,Systems engineering.
113. AUTOMATED DATABASE APPLICATIONS TESTING: SPECIFICATION REPRESENTATION FOR AUTOMATED REASONING
پدیدآورنده: / MIKHAIL RANA FARID ET AL
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: CONTROL SYSTEMS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|AUTOMATION
رده :
E-BOOK
114. AVR Microcontroller and Embedded Systems: Using Assembly and C (Pearson Custom Electronics Technology)
پدیدآورنده: / Muhammad Ali Mazidi, Sarmad Naimi, Sepehr Naimi
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ELECTRONIC|ENGINEERING, MULTIDISCIPLINARY& ARCHITECTURE|ENGINEERING, ELECTRICAL &COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
115. AWARENESS IN AUTONOMIC SYSTEMS-COMPUTER AFTER ME, THE: AWARENESS AND SELF
پدیدآورنده: / IMPERIAL COLLEGE LONDON, UK
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
116. Abgründe der Informatik
پدیدآورنده: \ Alois Potton
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Software engineering,Information Systems,علوم کامپیوتر,نرم‌افزار -- مهندسی,نظام‌های اطلاع‌رسانی
رده :
E-Book
,
117. Abnahme komplexer Software-Systeme :
پدیدآورنده: Wolfgang Osterhage.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Computer systems.,Management information systems.,Software engineering.,BUSINESS & ECONOMICS-- Information Management.,BUSINESS & ECONOMICS-- Knowledge Capital.,Computer science.,Computer systems.,Management information systems.,Software engineering.
رده :
QA76
.
758
.
O88
2009eb
118. Abstraction in artificial intelligence and complex systems
پدیدآورنده: / Daniel Zucker (auth.)-Lorenza Saitta, Jean
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: MINERAL PROCESSING&COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY|MINING
رده :
E-BOOK
119. Abstraction, refinement and proof for probabilistic systems
پدیدآورنده: / Annabelle McIver, Carroll Morgan
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Engineering mathematics.,Probabilities.,Systems engineering.
رده :
TA
,
340
,.
M43
,
2005
120. Accelerator programming using Directives :
پدیدآورنده: Sunita Chandrasekaran, Guido Juckeland, Sandra Wienke (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programming, Congresses.,High performance computing, Congresses.,Computer programming.,High performance computing.
رده :
QA76
.
751
